921. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
922. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
رده :
QA76
.
76
.
T46
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
923. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
924. #Theory of computation
پدیدآورنده : #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
925. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
926. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
927. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
928. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
929. Translation of programming languages
پدیدآورنده : Jonas, Ronald William.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
J62
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
930. Tree automata and languages
پدیدآورنده : edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
931. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
932. Turbo Pascal
پدیدآورنده : / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P21
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
933. Turbo Pascal
پدیدآورنده : / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P22
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
934. Turbo Pascal
پدیدآورنده : / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P23
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
935. Turbo Pascal
پدیدآورنده : / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P2
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
936. Turbo Pascal
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Programming languages )Computer(
رده :
QA
76
.
73
.
T63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
937. Turbo Pascal
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Object-oriented programming )Computer science(- Software,، Compilers )Computer programs(- Software,، Programming languages )Electronic computers(- Software
رده :
QA
76
.
73
.
P2
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
938. Turbo Pascal : Library reference
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software
رده :
QA
76
.
73
.
P2T86
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
939. Turbo Pascal. ]User's guide, Programmer's guide,Turbo vision guide[
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Object - oriented programming )Computer science( - Software,، Compilers )Computer programs( - Software,، Programming languages )Electronic computers( - Software
رده :
QA
76
.
73
.
P2
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
940. Turbo pascal: Advanced programmer's Guide
پدیدآورنده : O'Brien, Stephen K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Pascal )Computer program languages(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
P3O2
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)